/*
 * To change this template, choose Tools | Templates
 * and open the template in the editor.
 */

/*
 * Postconditions.java
 *
 * Created on 17-dic-2011, 11.39.58
 */

package sybel.pan;

/**
 *
 * @author Stefano
 */
public class Postconditions extends javax.swing.JPanel {

    /** Creates new form Postconditions */
    public Postconditions() {
        initComponents();
    }

    /** This method is called from within the constructor to
     * initialize the form.
     * WARNING: Do NOT modify this code. The content of this method is
     * always regenerated by the Form Editor.
     */
    @SuppressWarnings("unchecked")
    // <editor-fold defaultstate="collapsed" desc="Generated Code">//GEN-BEGIN:initComponents
    private void initComponents() {

        jTextCondition = new javax.swing.JTextField();

        setBorder(javax.swing.BorderFactory.createTitledBorder("Condition"));

        javax.swing.GroupLayout layout = new javax.swing.GroupLayout(this);
        this.setLayout(layout);
        layout.setHorizontalGroup(
            layout.createParallelGroup(javax.swing.GroupLayout.Alignment.LEADING)
            .addGap(0, 440, Short.MAX_VALUE)
            .addGap(0, 440, Short.MAX_VALUE)
            .addGroup(layout.createSequentialGroup()
                .addComponent(jTextCondition, javax.swing.GroupLayout.PREFERRED_SIZE, 430, javax.swing.GroupLayout.PREFERRED_SIZE)
                .addContainerGap(javax.swing.GroupLayout.DEFAULT_SIZE, Short.MAX_VALUE))
        );
        layout.setVerticalGroup(
            layout.createParallelGroup(javax.swing.GroupLayout.Alignment.LEADING)
            .addGap(0, 31, Short.MAX_VALUE)
            .addGap(0, 31, Short.MAX_VALUE)
            .addGroup(layout.createSequentialGroup()
                .addComponent(jTextCondition, javax.swing.GroupLayout.PREFERRED_SIZE, javax.swing.GroupLayout.DEFAULT_SIZE, javax.swing.GroupLayout.PREFERRED_SIZE)
                .addContainerGap(javax.swing.GroupLayout.DEFAULT_SIZE, Short.MAX_VALUE))
        );
    }// </editor-fold>//GEN-END:initComponents


    // Variables declaration - do not modify//GEN-BEGIN:variables
    private javax.swing.JTextField jTextCondition;
    // End of variables declaration//GEN-END:variables

}
